Crate isotope[−][src]
Expand description
isotope
isotope
is an experimental interpreted programming language which implements a system of temporal dependent types.
The main goal of this project is to experiemnt with design, ergonomics, and inference algorithms in the simpler setting of a fully
interpreted language before moving on to the statically-compiled rain
intermediate representation project.
Modules
ast | An AST for |
builder | A converter for |
error |
|
eval | Evaluation for |
parser | A parser for |
util | Utility functions |
value |
|
Macros
forv | Perform the same action for every member of the |
Type Definitions
Arc | The atomic reference counting type used by this library |